$\forall$$l$:(Top List), $i$:$\mathbb{Z}$, $x$:Top. $\parallel$$l$[$i$:=$x$]$\parallel$ $\sim$ $\parallel$$l$$\parallel$